On the Heine - Borel Property in the Theory of Abstract Sets
نویسندگان
چکیده
implication in general) to the rule of syllogism—is wholly fallacious; the real source of the difference lies in the change of sense of the middle term; that to confound in a middle term the sensus compositi and the sensus divisi is a source of danger has been a commonplace of logic since the time of the scholastics. That an inept symbolism is made use of in mathematics, which has for a fundamental interest the point and the "variable" (i. e., individuals, or singulars) would be of no consequence, but Russell and Peano treat this "addition" as constituting an important improvement over the logic which preceded them—that of Peirce and his school—instead of which it is simply erroneous.
منابع مشابه
Completeness in Probabilistic Metric Spaces
The idea of probabilistic metric space was introduced by Menger and he showed that probabilistic metric spaces are generalizations of metric spaces. Thus, in this paper, we prove some of the important features and theorems and conclusions that are found in metric spaces. At the beginning of this paper, the distance distribution functions are proposed. These functions are essential in defining p...
متن کاملA convex combinatorial property of compact sets in the plane and its roots in lattice theory
K. Adaricheva and M. Bolat have recently proved that if $,mathcal U_0$ and $,mathcal U_1$ are circles in a triangle with vertices $A_0,A_1,A_2$, then there exist $jin {0,1,2}$ and $kin{0,1}$ such that $,mathcal U_{1-k}$ is included in the convex hull of $,mathcal U_kcup({A_0,A_1, A_2}setminus{A_j})$. One could say disks instead of circles.Here we prove the existence of such a $j$ and $k$ ...
متن کاملApplications of the Tarski–kantorovitch Fixed-point Principle in the Theory of Iterated Function Systems
We show how some results of the theory of iterated function systems can be derived from the Tarski–Kantorovitch fixed–point principle for maps on partially ordered sets. In particular, this principle yields, without using the Hausdorff metric, the Hutchinson–Barnsley theorem with the only restriction that a metric space considered has the Heine–Borel property. As a by–product, we also obtain so...
متن کاملAn Implementation of the Heine-Borel Covering Theorem in Type Theory
We describe an implementation in type theory of a proof of a pointfree formulation of the Heine Borel covering theorem for intervals with rational endpoints
متن کاملQuantitative Structure-Property Relationship to Predict Quantum Properties of Monocarboxylic Acids By using Topological Indices
Abstract. Topological indices are the numerical value associated with chemical constitution purporting for correlation of chemical structure with various physical properties, chemical reactivity or biological activity. Graph theory is a delightful playground for the exploration of proof techniques in Discrete Mathematics and its results have applications in many areas of sciences. A graph is a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007